Operational Resolutions and State Transi- Tions in a Categorical Setting
نویسنده
چکیده
The core of the mathematical development in this paper consists of lifting the — categorically — equivalent descriptions of physical systems by a (i) ‘state space’ or a (ii) ‘property lattice’ — see [14,20,25,26] — to an asymmetrical — i.e., not anymore isomorphic — duality on the level of: (i) ‘possible state’ transitions — ‘possible’ in the sense that an arbitrary initial state is mapped onto all possible outcome states for this
منابع مشابه
Evaluation of Board Performance in Iran’s Universities of Medical Sciences
Background The critical role that the board plays in governance of universities clarifies the necessity of evaluating its performance. This study was aimed to evaluate the performance of the boards of medical universities and provide solutions to enhance its performance. Methods The first phase of present study was a qualitative research in which data were collected through face-to-face semi-...
متن کاملIIlISSION, ABSORPTION AND PROPAGATION OF ACOUSTIC TU.·WAVES IN SOLIDS
Recent experimental develop menta in generation and detection of THz acoustical phonon. have led to studies of phonon emission, propagation and absorption in solidi. New resulta of this acoustical phonon spectroscopy concern phonon interaction. with collective excitations (phonons, photons, magnons), localized exoitations (resonant scattering of impurities, radiationleas transi. tions) and elec...
متن کاملA note on outward and inward productions in the categorical graph-grammar approach and Delta-grammars
By proving the correspondence between the usual double-pushout approach and Banach’s inward version in a purely categorical setting, we can extend the latter to noninjective left-hand sides. In the injective case, Banach’s point of view establishes a close relationship between the categorical approach and Kaplan’s ∆-grammars allowing a slight generalization of ∆-grammars and making them an oper...
متن کاملCategorical Semantics for a Quantum Language∗
We prove a correspondence theorem for a quantum programming language in an axiomatic (categorical) setting. We present a simple whilebased programming language for a machine that has access to Quantum Systems (in particular a system of qubits) and the relevant operations on them. We give (coinciding) operational and denotational semantics for this language at a concrete level (Hilbert spaces an...
متن کاملL-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS
The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998